Feeds to Scour
SubscribedAll
Scoured 77873 posts in 1.62 s
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·7h
🛡️Taint Analysis
Preview
Report Post
Lessons from Formally Verified Deployed Software Systems (Extended version)
arxiv.org·14h
🎯Symbolic Execution
Preview
Report Post
Use of Assertions
blog.regehr.org·4h
🎲Property Testing
Preview
Report Post
What to Review Before Merging to `main`: A Practical Code Review Checklist
dev.to·23h·
Discuss: DEV
🚚Code Migration
Preview
Report Post
Evolution of LLMs use by a programmer
asfaload.com·2h·
Discuss: Hacker News
🎮Language Ergonomics
Preview
Report Post
Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em
docs.rs·3h·
Discuss: Hacker News
🔒Rust Borrowing
Preview
Report Post
Introducing VulHunt: A High-Level Look at Binary Vulnerability Detection
binarly.io·21h
📜Bytecode Interpreters
Preview
Report Post
What I’ve learned over 3 years of writing code
blog.scottlogic.com·1d
📚Self-Documenting Code
Preview
Report Post
GNU C Language Manual
gnu.org·55s
🪄C Metaprogramming
Preview
Report Post
Simplex, a workflow specification language for autonomous agents
github.com·22h·
Discuss: Hacker News
🎭Program Synthesis
Preview
Report Post
Ensure correctness by changing when the first failure occurs
doliver.org·1d·
Discuss: Hacker News
🚂Error Propagation
Preview
Report Post
Discovering 100+ Compiler Defects in 72 Hours via LLM-Driven Semantic Logic Recomposition
arxiv.org·14h
🩺Compiler Diagnostics
Preview
Report Post
Designing Boring Software with Functional Programming
agentultra.com·16h
🪞Homoiconicity
Preview
Report Post
Making an LSP for great good
thunderseethe.dev·19h·
Discuss: Lobsters, Hacker News
✨Gleam
Preview
Report Post
PHPStan Now 25~40% Faster For Static Analysis
phoronix.com·8h
🏃Escape Analysis
Preview
Report Post
AI-supported vulnerability triage with the GitHub Security Lab Taskflow Agent
github.blog·23h
🎯Symbolic Execution
Preview
Report Post
Graph-based refactor analysis for Go projects , Arbor v1.4
reddit.com·9h·
Discuss: r/golang
📊Call Graphs
Preview
Report Post
Pavis: A Dumb Proxy for Boring Reloads
fabian4.site·3h·
Discuss: Hacker News
🦀MIR Optimization
Preview
Report Post
Troubleshooting with fault tree analysis and PIOSEE
developers.redhat.com·11h
🩺Compiler Diagnostics
Preview
Report Post
Getting from tested to battle-tested
blog.janestreet.com·1d
🎲Test Generators
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help